Exemple des lecteurs et des écrivains. spécifications
نویسنده
چکیده
Pré-requis / Contenu : Cet exemple est utilisé dans le chapitre 2 donnant les définitions formelles d'un réseau de Petri et de sa sémantique opérationnelle (son compor-tement). Dans cette partie il y a la spécification de cet exemple
منابع مشابه
Semantics and typing issues / Questions de sémantique et typage
The standard printf function takes a format string fmt containing plain characters and conversion specifications, each of which causes conversion and printing of printf’s remaining arguments. For instance, in OCaml, one can write: La fonction standard printf prend une châıne de formatage fmt qui contient des caractères et des spécifications de conversion provoquant la conversion et l’affichage ...
متن کاملSemantics and typing issues / Questions de sémantique et typage
The standard printf function takes a format string fmt containing plain characters and conversion specifications, each of which causes conversion and printing of printf’s remaining arguments. For instance, in OCaml, one can write: La fonction standard printf prend une châıne de formatage fmt qui contient des caractères et des spécifications de conversion provoquant la conversion et l’affichage ...
متن کاملCombinaison de spécifications formelles pour la modélisation des systèmes d'information. (Coupling of formal specifications for modelling information systems)
State Machines [Gur95]. Les Abstract State Machines (ASM), appelées aussi Evolving Algebras (EA), ont pour but de relier les spécifications de type algébrique et leur modèle sémantique. L’approche consiste à construire des machines (appelées aussi “e-algèbres”) qui représentent les systèmes de manière à ce que la correction des spécifications soit établie par de simples observations et vérifica...
متن کاملTraduction de spécifications de contraintes d’architecture en composants exécutables
Les contraintes d’architecture sont des spécifications définies par les développeurs dans la phase de conception, qui permettent de vérifier, après une évolution de l’architecture, si sa description est encore conforme aux conditions imposées par un patron ou un style architectural. Ces spécifications peuvent être exprimées avec un langage standardisé comme OCL (Object Constraint Language). Afi...
متن کاملConception d'entrepôts de données géospatiales à partir de sources hétérogènes Exemple d'application en foresterie
RÉSUMÉ. Dans cet article, nous abordons les problèmes liés à l’intégration de données spatiotemporelles au sein d’un entrepôt de données. Dans de nombreux cas, les spécifications des jeux de données géospatiales évoluent et les données sont hétérogènes à la fois des points de vue temporel, spatial et sémantique. Afin d’explorer et d’analyser des jeux de données spatiotemporelles dans une applic...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- BIAA
دوره 84 شماره
صفحات -
تاریخ انتشار 2009